Total Books: 1 - 1 /1
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Continue reading
Total Books: 1 - 1 /1
